Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
201	Reasoning about local properties in modal logic Hans van Ditmarsch Department of Logic University of Seville Spain Add to Reading List Source URL: www.ifaamas.org - Date: 2011-04-15 08:04:30
202	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: ucalgary.ca - Date: 2014-07-27 06:40:18
203	The University of Calgary Department of Philosophy Phil 513 L01 and PhilL01 MODAL LOGIC Fall 2007 — Richard Zach Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2008-10-27 16:48:35
204	BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler — Moshe Y. Vardi* * Department of Computer Science, Rice University, Houston, Texas, 77005, USA. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-02-24 18:37:42
205	2009 Paper 6 Question 7 Logic and Proof (a) What is an S4 modal frame? [2 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:18:32
206	Relational Sheaves and Predicate Intuitionistic Modal Logic Barnaby P. Hilken Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2001-08-20 04:05:20
207	1998 Paper 6 Question 10 Logic and Proof Outline the concepts behind modal logic. Illustrate your answer by explaining the meaning of the axiom A → u t A. Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:25
208	Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National University Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-02-16 11:47:52
209	TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC ¨ THOMAS BOLANDER AND TORBEN BRAUNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2006-07-11 04:39:52
210	The University of Calgary Department of Philosophy Phil 513 L01 and PhilL01 MODAL LOGIC Fall 2007 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:35

UPDATE